<?php

echo $db->getPlatform();
